Truth-value semantics